Gestützt auf die bisher unveröffentlichten Teile des Briefwechsels von Leibniz mit Denis Papin aus der Zeit von 1692 bis 1700 wird in diesem Aufsatz versucht, einige Aspekte der Leibnizschen Dynamik darzulegen. Insbesondere wird der apriorische Beweis der Erhaltung der actio f ormalis im Zusammenhang mit der Diskussion zwischen Leibniz und Papin über die Messung der Kraft bei der horizontalen Bewegung behandelt. Es war Leibniz* Absicht, durch den apriorischen Beweis die Dynamik zu begründen und die Cartesianischen Gesetze der Bewegung zu ersetzen. (...) Papin seinerseits beschränkte sich auf die physikalische Ebene der Gesetze der Mechanik. Im Laufe der Debatte entwickelte Leibniz als Antwort auf Papins Kritik wichtige Argumente über die metaphysische Begründung der Dynamik. Die Begriffe actio f ormalis, inertia naturalis, entelecheia und Geschwindigkeit als quantitas intensiva werden in diesem Zusammenhang von Leibniz gegen Papins Einwände verteidigt. (shrink)

In this note, the problem of tracking random references and rejecting random perturbations in a quadrotor, both generated by an auxiliary system named exosystem, is solved by extending the deterministic tracking problem to the area of stochastic processes. Besides, it is considered that only a part of the state vector of the quadrotor is available through measurements. As a consequence, the state vector of the plant must be estimated in order to close the control loop. On this basis, a controller (...) to track random references and to reject random perturbations is developed by combining a Kalman filter to estimate the references and perturbations of an exosystem and an observer to estimate the states of a quadrotor. Besides, to obtain a more practical controller, the analysis is carried out in discrete time. Numerical simulations are used in a quadrotor to confirm the validity and effectiveness of the proposed control. (shrink)

La dimensión hermenéutica de las experiencias vividas se ha abordado desde una reducción analítica que suspende temporal y espacialmente la caracterización de agente narrativo. La racionalidad narrativa podría ofrecer una estructura dinámica en la configuración de la identidad del agente narrativo, además de posibilidades formativas que amplían sus dominios de significación y acción. El artículo de reflexión presenta elementos estructurales de la narrativa para caracterizar el agente narrativo. Esquematismo, tradición y triple mímesis, como base para la configuración de historias que (...) revelan la identidad característica del agente narrativo, estructuran el texto. (shrink)

This volume has 41 chapters written to honor the 100th birthday of Mario Bunge. It celebrates the work of this influential Argentine/Canadian physicist and philosopher. Contributions show the value of Bunge’s science-informed philosophy and his systematic approach to philosophical problems. The chapters explore the exceptionally wide spectrum of Bunge’s contributions to: metaphysics, methodology and philosophy of science, philosophy of mathematics, philosophy of physics, philosophy of psychology, philosophy of social science, philosophy of biology, philosophy of technology, moral philosophy, social and political (...) philosophy, medical philosophy, and education. The contributors include scholars from 16 countries. Bunge combines ontological realism with epistemological fallibilism. He believes that science provides the best and most warranted knowledge of the natural and social world, and that such knowledge is the only sound basis for moral decision making and social and political reform. Bunge argues for the unity of knowledge. In his eyes, science and philosophy constitute a fruitful and necessary partnership. Readers will discover the wisdom of this approach and will gain insight into the utility of cross-disciplinary scholarship. This anthology will appeal to researchers, students, and teachers in philosophy of science, social science, and liberal education programmes. 1. Introduction Section I. An Academic Vocation Section II. Philosophy Section III. Physics and Philosophy of Physics Section IV. Cognitive Science and Philosophy of Mind Section V. Sociology and Social Theory Section VI. Ethics and Political Philosophy Section VII. Biology and Philosophy of Biology Section VIII. Mathematics Section IX. Education Section X. Varia Section XI. Bibliography. (shrink)

The aim of this paper is to argue against the received view among Unamuno scholars that Miguel de Unamuno was defending a sort of pragmatic argument for religious faith and that his notion of religious faith as “querer creer” (“wanting to believe”) is to be identified with William James’s “the will to believe”. As I will show in this paper, one of the aspects that makes Unamuno’s reasoning philosophically relevant is his ability to formulate a non-pragmatist defense of religious faith (...) without a prior commitment to the truth of any religious or theological statement and grounded in our longing for an endless existence through God’s Salvation. (shrink)

We argue that, in certain circumstances, doctors might beprofessionallyjustified to provide abortions even in those jurisdictions where abortion is illegal. That it is at least professionally permissible does not mean that they have an all-things-considered ethical justification or obligation to provide illegal abortions or that professional obligations or professional permissibility trump legal obligations. It rather means that professional organisations should respect and indeed protect doctors’ positive claims of conscience to provide abortions if they plausibly track what is in the best (...) medical interests of their patients. It is the responsibility of state authorities to enforce the law, but it is the responsibility of professional organisations to uphold the highest standards of medical ethics, even when they conflict with the law. Whatever the legal sanctions in place, healthcare professionals should not be sanctioned by the professional bodies for providing abortions according to professional standards, even if illegally. Indeed, professional organisation should lobby to offer protection to such professionals. Our arguments have practical implications for what healthcare professionals and healthcare professional organisations may or should do in those jurisdictions that legally prohibit abortion, such as some US States after the reversal ofRoe v Wade. (shrink)

The logicality of language is the hypothesis that the language system has access to a ‘natural’ logic that can identify and filter out as unacceptable expressions that have trivial meanings—that is, that are true/false in all possible worlds or situations in which they are defined. This hypothesis helps explain otherwise puzzling patterns concerning the distribution of various functional terms and phrases. Despite its promise, logicality vastly over-generates unacceptability assignments. Most solutions to this problem rest on specific stipulations about the properties (...) of logical form—roughly, the level of linguistic representation which feeds into the interpretation procedures—and have substantial implications for traditional philosophical disputes about the nature of language. Specifically, contextualism and semantic minimalism, construed as competing hypotheses about the nature and degree of context-sensitivity at the level of logical form, suggest different approaches to the over-generation problem. In this paper, I explore the implications of pairing logicality with various forms of contextualism and semantic minimalism. I argue that to adequately solve the over-generation problem, logicality should be implemented in a constrained contextualist framework. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also prove (...) a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

The classification of ageing as a disease is fundamental to developing new pharmacological strategies that can target said phenomenon. The European Medicines Agency does not do this and maintains a questionable perspective based on the traditional naturalistic argument and the value-free ideal. An alternative is proposed which, inspired by consequentialism, is committed to considering ageing as a disease in European regulatory contexts as long as the ethical consequences are desirable. Within a realistic framework, I show that making this decision would (...) have moderate positive effects such as increased knowledge about antiageing pharmacology or potential greater chances of completing vital projects. Furthermore, we will see that the main arguments used by critics to show that the negative effects outweigh the positive ones are not sound. Therefore, I conclude that it would be beneficial for the European Medicines Agency to change its position on ageing. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

KOINONIA/ASETT MINGA/MUTIRÃO DE REVISTAS DE TEOLOGIA LATINO-AMERICANAS Teología de la Liberación y movimiento ecuménico: breve reflexión desde una práctica (Liberation Theology and ecumenical movement: a brief reflection from praxis).

Bi-intuitionistic logic is the result of adding the dual of intuitionistic implication to intuitionistic logic. In this note, we characterize the expressive power of this logic by showing that the first order formulas equivalent to translations of bi-intuitionistic propositional formulas are exactly those preserved under bi-intuitionistic directed bisimulations. The proof technique is originally due to Lindstrom and, in contrast to the most common proofs of this kind of result, it does not use the machinery of neither saturated models nor elementary (...) chains. (shrink)

Seventeen essays make up the body of this anthology. Most of the authors are Latin Americans (although some of them work in other regions), and thus we might say that this volume is, in a very approximate sense, a showcase of recent Latin-American ontology and metaphysics. The remaining authors—Pierre Aubenque, Barry Smith, Lorenzo Peña and James Hamilton—are distinguished teachers who have had important contacts with the Latin-American philosophical community. The articles in this anthology address some of the central questions in (...) ontology and metaphysics: the possibility of a science of being (Aubenque), the different possible approaches to ontology (Hurtado), the recent application of ontology to informatics (Smith), guise theory and its Leibnizian antecedents (Herrera), the reduction of space and time to phenomenological properties (Rodríguez Larreta), the Newtonian ontology of space and time (Benítez and Robles), the relation between truth and the so-called “truth-makers” (Rodríguez Pereyra), the ontological position of the Pyrrhonic skeptic (Junqueira Smith), the limits and difficulties of metaphysical realism (Cabanchik, Pereda), the defense of physicalist or emergentist positions regarding the mental (Pérez), the metaphysical nature of persons (Naishtat), the ontology of cultural entities (Peña), political ontology (Nudler), the relation between ontology and literature (Hamilton), the ontology of art (Tomasini). Some of the works (e.g., those Aubenque and Robles) approach the question from a historical perspective: others examine the most recent philosophical literature on the problems focalized (e.g., those by Pérez and Rodríguez Pereyra), and others offer new approaches (e.g., those of Rodríguez Larreta, Peña or Nudler) to a specific problematic area. (shrink)

Lindström’s theorem obviously fails as a characterization of first-order logic without identity ( $\mathcal {L}_{\omega \omega }^{-} $ ). In this note, we provide a fix: we show that $\mathcal {L}_{\omega \omega }^{-} $ is a maximal abstract logic satisfying a weak form of the isomorphism property (suitable for identity-free languages and studied in [11]), the Löwenheim–Skolem property, and compactness. Furthermore, we show that compactness can be replaced by being recursively enumerable for validity under certain conditions. In the proofs, we (...) use a form of strong upwards Löwenheim–Skolem theorem not available in the framework with identity. (shrink)

This paper is a step toward showing what is achievable using non-classical metatheory—particularly, a substructural paraconsistent framework. What standard results, or analogues thereof, from the classical metatheory of first order logic can be obtained? We reconstruct some of the originals proofs for Completeness, Löwenheim-Skolem and Compactness theorems in the context of a substructural logic with the naive comprehension schema. The main result is that paraconsistent metatheory can ‘re-capture’ versions of standard theorems, given suitable restrictions and background assumptions; but the shift (...) to non-classical logic may recast the meanings of these apparently ‘absolute’ theorems. (shrink)

This paper is devoted to the problem of existence of saturated models for first-order many-valued logics. We consider a general notion of type as pairs of sets of formulas in one free variable that express properties that an element of a model should, respectively, satisfy and falsify. By means of an elementary chains construction, we prove that each model can be elementarily extended to a $\kappa $-saturated model, i.e. a model where as many types as possible are realized. In order (...) to prove this theorem we obtain, as by-products, some results on tableaux and their consistency and satisfiability and a generalization of the Tarski–Vaught theorem on unions of elementary chains. Finally, we provide a structural characterization of $\kappa $-saturation in terms of the completion of a diagram representing a certain configuration of models and mappings. (shrink)

Under a proper translation, the languages of propositional (and quantified relevant logic) with an absurdity constant are characterized as the fragments of first order logic preserved under (world-object) relevant directed bisimulations. Furthermore, the properties of pointed models axiomatizable by sets of propositional relevant formulas have a purely algebraic characterization. Finally, a form of the interpolation property holds for the relevant fragment of first order logic.

This book develops a novel theory of intentionality. It argues that intentionality is an internal essential relation of constitution between an intentional state and an object or between such a state and a possible state of affairs as subsisting. The author's main claim is that intentionality is a fundamentally modal property, hence a non (scientifically) natural property in that it does not supervene, either locally or globally, on its nonmodal physical basis. This is the property, primarily for an intentional mental (...) state, to be constituted by the entities it is about. In the case of intentionality of reference, such constituents are objects, in the sense of individuals; in the case of intentionality of content, such constituents are possible states of affairs as subsisting. Constitution is meant in a mereologically literal sense: those constituents are essential parts of the relevant states. As a result, the theory claims not only that intentionality is relational, but also that is an internal, essential relation holding between an intentional state and its object or proposition-like content. Intentionality as Constitution will be of interest to scholars and advanced students working in philosophy of mind, philosophy of language, metaphysics, and cognitive science. (shrink)